- 2 402 202 книги
- Поиск
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 9.52 Mb
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 7.96 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: Компьютеры
Размер книги: 3.81 Mb
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Автор: frank s. de (editor) ; bonsangue, Автор: marcello (editor) ; graf, Автор: susanne (editor) boerКатегория: Компьютеры
Размер книги: 3.87 Mb
Fachbereichsarbeit - Die Götter der Kelten
Автор: Graf SusanneКатегория: fiction
Размер книги: 2.96 Mb
Formal Methods for Components and Objects, 4 conf., FMCO 2005
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.85 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 6 conf., TACAS 2000
Автор: Susanne Graf, Автор: Michael SchwartzbachКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.36 Mb
Formal Methods for Components and Objects, 2 conf., FMCO 2003
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne GrafКатегория: CsLn_
Размер книги: 7.29 Mb
Formal Methods for Components and Objects, 5 conf., FMCO 2006
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: CsLn_
Размер книги: 3.18 Mb
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Автор: Frank S.de Boer, Автор: Marcello Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 4.59 Mb
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Автор: Susanne Graf, Автор: Wenhui Zhang
Размер книги: 7.95 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 3.47 Mb